Functors tagged with 'set theory'

Found 14 functors

• binary coproduct functor on sets
• binary diagonal functor on the category of sets
• binary product functor on sets
• contravariant power set functor
• countable copower functor on sets
• covariant power set functor
• doubling functor on sets
• empty functor to the category of sets
• forgetful functor from finite sets to sets
• identity functor on the category of sets
• inclusion functor from extended natural numbers to ordinal numbers
• sequences functor on sets
• squaring functor on sets
• trivial functor from the category of sets